relationele calculus relational calculus

Formele taal voor het opvragen van gegevens uit een relationele database met een query, gebaseerd op de predicaatlogica en de verzamelingenleer.